Star Products with Separation of Variables Admitting a Smooth Extension

Warped Products Admitting a Curvature Bound

Warped products provide perhaps the major source of examples and counterexamples in metric and Riemannian geometry. Sufficient conditions for a warped product B×f F to have a curvature bound in the sense of Alexandrov, either above or below, are found in [AB 04]. Given the importance of warped products, we want to know if all the known sufficient conditions are needed. Here we prove their neces...

Jam - A Smooth Extension of Java with Mixins

Jam - A Smooth Extension of Java with Mixins

In this paper we present Jam, an extension of the Java language supporting mixins, that is, parametric heir classes. A mixin declaration in Jam is similar to a Java heir class declaration, except that it does not extend a fixed parent class, but simply specifies the set of fields and methods a generic parent should provide. In this way, the same mixin can be instantiated on many parent classes,...

Separation of pharmaceutical products with reverse micelles

Reverse micelle extraction has received considerable attention in recent years due to its ability to selectively solubilise solutes from an aqueous phase and to maintain their biological activities. This paper presents the results from studies on extraction of penicillin G from aqueous solution (forward extraction) and from reverse micelles to a new aqueous solution (backward extraction), by em...

Semipositivity in Separation Logic with Two Variables

In a recent work by Demri and Deters (CSL-LICS 2014), first-order separation logic restricted to two variables and separating implication was shown undecidable, where it was shown that even with only two variables, if the use of negations is unrestricted, then they can be nested with separating implication in a complex way to get the undecidability result. In this paper, we revisit the decidabi...